IEC 60235-7:1972 Measurement of the electrical properties of microwave tubes. Part 7: Gas-filled microwave switching devices