Germany Dumped Billion Tons of Water Into Mines_ a Few Years Later It Was Impossible To See Them