Docke.[]
Docke,[1] abgesonderter Platz in einem Seehafen, der, zum Bau und zur Ausbesserung der Schiffe, so eingerichtet ist, daß man ihn mit Wasser füllen und auch trocken halten kann.
Quellen.[]
- ↑ Geographisch- Historisch- Statistisches Zeitungs-Lexikon von Wolfgang Jäger, Professor zu Altdorf. Neu bearbeitet von Konrad Mannert, Königl. Bairischen Hofrath und Professor der Geschichte und Geographie zu Würzburg. Nürnberg, bey Ernst Christoph Grattenauer 1805.