Die PLZ-Relation ist hier zu finden: https://www.openstreetmap.org/relation/1244351

Außerdem habe ich alle fehlenden PLZs an der Hoffschultestraße ergänzt: https://www.openstreetmap.org/changeset/89793181