And iirc it's something like 500m deep... absolutely awesome human achievement apart from the tiny little problems with it (it keeps eating up neighboring villages plus it produces brown coal which is the worst kind, environmentally speaking)

They will fill it up with water once they are done mining. It'll take about 40 years to fill though, between ground water and extracting water from the Rhine river.