School building updated (as per the above description) and school marked as disused in https://www.openstreetmap.org/changeset/93254829. The gym will need a survey or local knowledge to determine if it occupies the whole or just part of the remaining building and its name. The school's new site in the south of the city is now mapped.