I've added these buildings in https://www.openstreetmap.org/changeset/152043904, but there's some duplicates now, since some buildings were already added by other users. I will verify all buildings in this area with GRB and aerial imagery (Mapillary is also available if needed) and remove the duplicate ways ASAP, but this note can be closed I think.