... and I've just fixed the lights! I just took the switch apart, gave everything a scrub with a small paintbrush, rubbed some graphite on the two connections and put it back together. The result: they glimmer quite a bit, pathetic by modern standards, and I would not use them after dark, but they certainly work :-)
Last edited by Othen
on June 12th, 2018, 5:27 am, edited 3 times in total.