20180717 world.europe: Europe still hooked on Russian gas supplies