Европейска мрежа на операторите на преносната газова инфраструктура