Pressure in gas discharge tube was kept________________?