Text this: Ion source based on Penning discharge for production of doubly charged helium ions