Der alte Schalter ist kaputt gegangen. Ich habe einen neuen gemacht. Hoffentlich ist er für jemand anderen nützlich.