Operation of an electron-bombardment ion source using various gases