Du könntest damit Recht haben. Ich habe es so verstanden, dass es eine Form von Mischnutzung ist. Es ist schließlich auch ein Trockendock abgetrennt. Ich könnte mich aber auch von der nebenliegenden Werft fehlleiten gelassen haben, die ich davor angelegt habe. Ich schaue es mir im Laufe der Woche nochmal an. Danke für deinen Hinweis. -- Eschenmoser 17:00, 29. Okt. 2018 (CET)