@thomasfuchs These were made from the mid '90s through the early '00s. The company, Ultratec, has been making similar stuff since earlier then that. Not quite sure what the switches are but I've enclosed a pic. I can't find a brand on them.
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!