Leram - Water Management at Abandoned Flooded Underground Mines: Fundamentals, Tracer Tests, Modelling, Water Treatment