Gas pipework