[454] Pumpenkoker, hölzerner Schacht auf Handelsschiffen zum Schutze der Pumpen gegen Beschädigung durch die Ladung.