CORDIS—an improved high-current ion source for gases