Diskussion:Bürgerpark Hafeninsel
aus Wikipedia, der freien Enzyklopädie
Titeländerung oder Autolink gebraucht
Der Park scheint als Bürgerpark Hafeninsel besser bekannt zu sein (s. auch im Artikel selbst angegebene Quellen). Dieser Name erscheint aber auf Wik. nicht einmal als Autolink. Wer kann das erledigen? --Arminden (Diskussion) 16:26, 17. Jul. 2020 (CEST)