Laying a gas pipeline