From the BBC World Service: European politicians have reached a provisional agreement to phase out imports of Russian gas by 2027.