Dock

Betriebsstätte für den Bau oder die Reparatur eines Schiffes. Ein Trockendock wird nach dem Einlaufen des Schiffes geschlossen und leergepumpt. Ein Schwimmdock schwimmt nach dem Einlaufen eines Schiffes auf, wenn das Ballastwasser aus den Auftriebskörpern gepumpt wird.