欧洲天然气价格一度上涨7.2%。