Beide Namen eingetragen, alten Namen wieder hergestellt.
Das Stadion ist eröffnet und wir können diesen Hinweis schließen.

Habe zwei neue erstellt:
https://www.openstreetmap.org/note/2886729
https://www.openstreetmap.org/note/2886733