Het klopt dat dit https://www.openstreetmap.org/way/133067521/history een building tag moest krijgen, maar er hoort daar ook wel een amenity=school (bij voorkeur op de hele site, maar op het gebouw is ook wel OK)