Im Prinzip kann erst dann der official_name:de geändert werden, wenn der ständige Ausschuss für geographische Namen dies beschließt, denn dieser ist maßgeblich für die Standardisierung „im deutschen Sprachraum“. Vermutlich wird das ein oder
zwei jahre dauern.
Fairerweise muss ich sagen, dass ich überhaupt keine Ahnung habe, ob Österreich und die Schweiz/Luxemburg die Stadt nicht schon längst offiziell so nennen. Ich finde dazu auch keine Quellen, außer irgendwelche Ämter, die jeweils auf den SAfgN verweisen. Aber das kann ja durchaus von der Landesgepflogenheit abweichen.