Double mapped as two different buildings (https://www.openstreetmap.org/way/241843265 and https://www.openstreetmap.org/way/241843256) and as a multipolygon (https://www.openstreetmap.org/relation/7639515). Which is correct?