Pumpenkessel, ein siebartig durchlöcherter, kupferner od. bleierner Kessel, in welchen auf einigen Schiffen das Saugrohr der Pumpe gestellt wird, damit keine Unreinigkeit hineinkommen kann.
Pierer's Lexicon. 1857–1865.