【係船ドック；繫船ドック】

けい￨せん･どっくkeisen·dokku5

Schifffahrt Hafendock n n (Dock, dessen Wasserstand immer auf derselben Höhe gehalten wird, um Be‐ und Entladen zu erleichtern).