[470]Pumpendampfer, kleine Dampfer mit sehr starken Maschinenpumpen oder Ejektoren, die lecke Schiffe flotthalten sollen; auch als Spritzendampfer verwendet.
Quelle:
Brockhaus' Kleines Konversations-Lexikon, fünfte Auflage, Band 2. Leipzig 1911., S. 470.