Extinguishing gas systems