Das ist inzwischen – gegen 8 Uhr von „amtlicher“ Seite – weiter bearbeitet worden, wie du wahrscheinlich gesehen hast, Florian. Ist das dadurch schon erledigt? Siehe übrigens auch <https://www.openstreetmap.org/note/2794264>, wo der gleiche User eine Frage zur (kommenden) Situation am Emil-Gross-Platz („Dreiecksplatz“) gestellt hat. Sebastian