Xi’s gas diplomacy: good for China, less good for Gazprom