Pressure-regulated gas supply