- Pumpenkoker
Pumpenkoker, hölzerner Schacht auf Handelsschiffen zum Schutze der Pumpen gegen Beschädigung durch die Ladung.
http://www.zeno.org/Meyers-1905. 1905–1909.
Pumpenkoker, hölzerner Schacht auf Handelsschiffen zum Schutze der Pumpen gegen Beschädigung durch die Ladung.
http://www.zeno.org/Meyers-1905. 1905–1909.
Pumpensod — Pumpensod, Pumpsood, Pumpenkoker (Seew.), die mit Holz oder Eisenwänden abgeschlagenen Brunnen, aus denen die Lenzpumpen saugen … Kleines Konversations-Lexikon