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.

Minenbastelei

And then the next government takes those good things, which they have massively decried when they were the opposition, only to reimplement the exact same thing with a slightly modified name.