[289] Pumpendampfer, ein mit leistungsfähigen Kreiselpumpen ausgerüsteter Dampfer für Bergungszwecke (s. Bergungsdampfer).
Brockhaus-1911: Pumpendampfer
Meyers-1905: Pumpendampfer