[445] Docken, ins Dock gehen, ein Schiff zur Ausbesserung in einen Dock (s.d.) stellen.
Adelung-1793: Docken
Lueger-1904: Docken
Meyers-1905: Docken
Pierer-1857: Docken [2] · Docken [1]