dgdg
11
Danke für die vielen Rückmeldungen. Inzwischen hatte ich auch schon rausgefunden, wie das geht (mit JOSM und den Revert-Plugin). Kann sein, dass wir uns beim Reverten gerade etwas in die Quere gekommen sind. 
Egal, die Hausnummern sind wieder da. Danke!
Der andere User ist erst seit ein paar Wochen aktiv und hat bisher nicht auf meine E-Mails reagiert.
Gruß, dgdg