ELECTRONIC DISCHARGE DEVICES AND GAS DISCHARGE TUBES, NONE BEING FOR LIGHTING PURPOSES: ELECTRONIC VALVES, [ TELEVISION PICTURE GENERATOR TUBES AND TELEVISION PICK-UP TUBES; ELECTRIC SWITCHES; ] AND GLASS TO METAL TERMINAL SEALS [ , AND QUARTZ CRYSTALS ]