Hab da die PLZ-Grenze geändert und wollte die Admin-Grenze natürlich nicht verschieben. Muß irgendwas schief gelaufen sein.
Hab es gefixt: https://www.openstreetmap.org/changeset/135118237

Danke für die Info.