The building https://www.openstreetmap.org/way/260469359 seems to be mostly a duplicate here.  Not everything within it is building.  There are some smaller buildings within it as yet to be mapped, but most of the big ones have been already.