The State of the Russian Gas Supply to Europe