[454]Pumpendampfer, Dampfschiff mit kräftigen Pumpen, dazu bestimmt, aus beschädigten Kriegsschiffen das eingedrungene Wasser auszupumpen; dient auch als Dampffeuerspritze im Hafen und auf Werften.
Quelle:
Meyers Großes Konversations-Lexikon, Band 16. Leipzig 1908, S. 454.