Hallo,

zu 1: Die Stadt hat diese Namensänderung ja noch nicht einmal „ausgesprochen“, sondern nur bei Google Maps eine Änderung vornehmen lassen. Auch vorher war es kein offizieller Name. Es gibt noch nicht einmal eine Pressemitteilung der Stadt dazu. Auch die ordnungsbehördliche VO zum Badeverbot, die man dazu hätte nutzen können, enthält keine Regelung. Wenn man den Namen ändern (eigentlich: erstmals festlegen möchte), kann die Stadt das gerne mit Ratsbeschluss tun – hat sie aber nicht.
zu 2: Wir bilden ab, was ist. Die Bevölkerung hat den Namen gewählt, er wurde vor sieben Jahren in OSM so eingetragen. Und nach dem gestrigen Echo in den konventionellen Medien und vor allem dem Feedback in den Social Media gehe ich nicht davon aus, dass es diese Änderung geben wird. Und wenn: alles zu seiner Zeit.
zu 3: So, wie der Name derzeit verwendet wird, ist name richtig.

Nur noch mal zusammenfassend: Eine Stadtverwaltung lässt einen ohnehin inoffiziellen Namen in Google Maps ändern und deshalb passen wir das in OSM an? Nein.

Viele Grüße