Hey,
verschiedenen Aspekte:
1. Die Namensänderung/-definition wurde von der Stadt ausgesprochen — auf deren Aussage beziehen sich diverse Medienberichte sogar direkt, so auch der WDR (siehe Link).
2. Ob name: bisher derkorrekt war ist nun obsolet, da es einen neuen/offiziellen Namen der Stadt gibt (der sogar ausgeschildert werden soll).
3. Ob nickname: oder loc_name: für die alte Bezeichnung passend ist, wäre noch zu überlegen.
4. Die von der Stadt initiierte Änderung bei G. ist für 1.-3. bzw OSM unrelevant.
Was denkst Du dazu? 