 And so it's interesting to think then also about the climate goals and coal mines in particular. Why are coal mines still being expanded in Germany, even though the country's got these big green ambitions?