erledigt:
https://www.openstreetmap.org/changeset/179039415

https://www.openstreetmap.org/way/113999476/history
Das Gebäude ist schon lange erfasst, aber in Version 5 wurde das building=yes gelöscht, weshalb es nicht mehr dargestellt wird.