Begriff: TROCKENDOCK

Art Schleusenkammer oder kleines Hafenbecken, in das ein Schiff hineingefahren wird, wenn es fuer Reparatur- oder Wartungszwecke trocken- gelegt werden muss. Das Dock wird zu diesem Zweck dann leergepumpt.