text: Vermutlich wäre die sauberste Lösung es dem großen Gebäude zuzuschlagen (Nr. 157/159/161) aber als Gebäudeteil zu kennzeichnen:
  
  https://wiki.openstreetmap.org/wiki/DE:Key:building:part
  
  Dann kann man die abweichende Höhe eintragen aber es benötigt keine eigene Hausnummer.