Некогашен рудник, денес најголемо подземно езеро во Европа