Hinterbrühl, ehemaliges Gipsbergwerk