Gas fire protection