Gas-pipes