C20.11 Manufacture of industrial gases