[570] Die Theerdocke, plur. die -n, in einigen Häfen, eine eigene Docke, wo die Schiffe getheeret werden.
Pierer-1857: Theerdocke