Pressure pipe systems for gas