[470]Pumpenmeister, in der deutschen Marine der Feuermeister, der die Instandhaltung und Bedienung der Pumpen und Lenzeinrichtungen sowie die wasserdichten Verschlüsse an Bord der Kriegsschiffe zu besorgen hat.
Quelle:
Brockhaus' Kleines Konversations-Lexikon, fünfte Auflage, Band 2. Leipzig 1911., S. 470.