Factbox-What are Europe’s options in case of Russian gas disruption?