[693]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.
Quelle:
Pierer's Universal-Lexikon, Band 13. Altenburg 1861, S. 693.