Wurde bei OSM umbenannt. Erstmal ohne Bindestrich. Mal sehen, was im Amtsblatt stehen wird. (Kann länger dauern, beim letzten Mal wurde der Platz über vier Monate nach der Arena umbenannt)

Closing note for now.