gas exports from Europe to Asia