Gas installation