Inside the German coal mine that's been transformed from defunct industrial wasteland to a beautiful park for locals