Europe’s gas supplies