What happened to coal power amidst Europe’s winter crisis of 2022/2023, and what lessons can we learn for this winter.