Theerdocke, die

Die Theerdocke, plur. die -n, in einigen Häfen, eine eigene Docke, wo die Schiffe getheeret werden.