Unable to answer "Is this still here?" – Turnhalle Riedenhalden (Gymnasium) – https://osm.org/way/41953626 via StreetComplete 62.0:

Its currently a construction site

Attached photo(s):
https://streetcomplete.app/p/326777.jpg
https://streetcomplete.app/p/326778.jpg