Anmerkung zu https://www.openstreetmap.org/note/2764646 
  
addr:street ist bei der 7a und 7b aktuell weiterhin anders als bei der 7. Das wird vermutlich nicht korrekt sein. So bleibt dann doch wieder die Frage, welcher Straßenname nun korrekt ist.