European Gas Prices Jump as Heat Wave Boosts Cooling Demand