Gas pipeline laying