See also https://www.openstreetmap.org/note/3800772
Any idea which building is which?
I will mark this site as disused
https://www.openstreetmap.org/way/396593468
And that still leaves the question of what is here now
#surveyme