[454] Pumpenmeister, ein Deckoffizier des Maschinenpersonals, der das verzweigte System der Pumpen, Saugrohre und Schleusen sowie die wasserdichten Verschlüsse an Bord der deutschen Kriegsschiffe beaufsichtigt.
Brockhaus-1911: Pumpenmeister