Offenbar gab es die offizielle Festlegung am 21. Juni 2019 [1]. Gibt es Anzeichen das der Strich über dem a vorher offizieller Namensbestandteil war? (also für den Port offenbar, aber es geht hier ja um den offiziellen Namen der Stadt).-- Maphry 20:14, 19. Jan. 2022 (CET)