Ist das wirklich ein Trocken- oder ein Schwimmdock, wie im Artikel Dock (Schifffahrt) beschrieben? Oder trifft hier nicht eher eine der anderen Bedeutungen von en:dock (maritime) zu? -- Olaf Studt 16:22, 28. Okt. 2018 (CET)