Switches & Pushbuttons made by Kopp