Werden Gasleitungen isoliert?