Bauarbeiten sind beendet. Ich habe das Tagging bereits geändert, aber man könnte vermutlich https://www.openstreetmap.org/way/1195364871 mit den benachbarten Ways wieder zu einem Way mergen. (Oder jemand zeigt mir, wie man das mit iD machen kann).