Demonstration mining plant in former gypsum mine with the largest underground lake in Europe; area 6 200 m2, depth 1.2 m