Hallo,

ich bin mit name statt loc_name normalerweise sehr sparsam, sehe hier aber keinen Grund, das umzustellen:
1. Der Name ist seit 2018 eingetragen, das hat viele Jahre nicht gestört.
2. Das ist kein Name, der irgendwie alternativ oder mit einem Augenzwinkern genutzt wird („Henkelmännchen“ statt „Lanxess-Arena“). Ich habe noch vorgestern bei einem Gespräch wie selbstverständlich von meinem Gegenüber gehört „… am Paradiesstrand…?“
3. Der Name wird wie selbstverständlich in der Presse oder in Ratsvorlagen genutzt.
Meines Wissens steht da kein Schild. Das ist bei einer derart häufigen Verwendung aber auch unproblematisch.
Wegen des alt_name: Habe ich auch schon mal überlegt; nur scheint diesen Namen derzeit noch keiner zu verwenden. Ich denke, die Stadt muss den Namen noch weiter pushen – dann kann man sicher darüber nachdenken.

Viele Grüße

P.S.: Danke, dass du dir die Mühe gemacht hast, in die Historie zu schauen – das ist eher selten.