Unable to answer "Is this still here?" – Das Grubenhaus am Petersteich (Information Board) – https://osm.org/node/3761703072 via StreetComplete 57.0:

Das Grubenhaus existiert noch, allerdings keine Infotafel.