Discharge tubes for measuring pressure of introduced gas or for detecting presence of gas Discharge tubes for evacuation by diffusion of ions