I've tagged the facilities as demolished now: https://www.openstreetmap.org/changeset/179839930#map=16/47.41269/10.97572&layers=N

(we could also remove them entirely but it can be worth keeping them in OSM a while so someone doesnt add them back based on imagery)