Croatian-German: translation for "plovni dok"