Time for a Windfall Profit Tax? Electricity Market Design in Times of Crises