[693] Pumpensood (Pumpenpott), der niedrigste Ort im Schiffe, beim großen Mast, wo die Pumpen[693] stehen, u. wohin sich alles eingedrungene Wasser zusammenzieht.
Lueger-1904: Pumpensood