"Ein Trockendock ist ein Bassin, das auf die Größe der zu wartenden Schiffe abgestimmt ist und sich mit einem wasserdichten Abschluss von der übrigen Wasserfläche absperren lässt. Durch Absenken des Wasserspiegels im Bassin kann das Schiff trockengelegt werden." (Wikipedia 20.01.2013)
de