Don’t worry, they will fill it 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.