Wenn Du genau hinschaust, dann lagen meine Änderungen nicht dort ( http://nrenner.github.io/achavi/?changeset=134828021 ). Mir ist aber der Hintergrund des dortigen Verlaufs bekannt und er ist richtig.
Zum Verständnis: Es ist ein Grundfehler zu glauben, dass Gebäude nur eine Adresse haben sollten/können. Insbesondere im urbanen Kontext ist das durchaus regelmäßig nicht der Fall.
Zum Anderen gibt es eigentlich gar keine "PLZ-Grenzen". Die PLZ wird von der Post für einzelne Adressen vergeben. Das kann für ein ganzes Grundstück (nicht! Gebäude) gelten, muss aber nicht. Die "Gebiete" fassen diese Adressen nur grundsätzlich zusammen und können daher im Grunde irgendwo zwischen den jeweils benachbarten POI's verlaufen.
Das simple Geradeziehen würde daher sicher diverse Fehler verursachen. Wenn dich das Thema interessiert, dann solltest Du eher einzelne PLZ an POI's in Erfahrung bringen und die Grenze gegebenenfalls entsprechend anpassen - nicht umgekehrt!.
( https://wambachers-osm.website/Postcodes.html?map=14/49.937605/11.570148&base=OSM&data=PCBDE,WPCDE )
Die Grenze an der von Dir beanstandeten Stelle wurde übrigens vom Kollegen Larend korrigiert ( https://www.openstreetmap.org/way/439852511/history#map=15/49.5804/11.0091 - Version #18. Er hat genaue Ortskenntnisse!).