Ich versuche noch mal einen Microschalter zu bekommen und probiere den zu tauschen (...)
Den Schalter einzeln zu bekommen, könnt eventuell a weng schwierig werden. Denn Dual hat auf dieser Platine früher meines Wissens zunächst den Marquardt 1004.4020, dann den 1019.6203 und zuletzt dann noch einen offenen Mikroschalter eingesetzt, von dem ich aber Hersteller und Tpenbezeichnung nicht kenne. Das Problem: Die ersteren beiden Marquardts scheint es nicht mehr zu geben - und bislang vermochte ich dazu auch keine technischen Daten (wie die Schaltkraft et cetera...) zu ergooglen, die mir aber zur Findung eines gut geeigneten Ersatztypen nicht ganz irrelevant schienen. Insofen könnt's also sinnvoll sein, erstmal bei Marquardt anzufragen, ob die einem vielleicht noch Datenblätter für die beiden alten Typen (oder zumindest für einen der beiden) zur Verfügung stellen könnten, damit man sich bei der Suche nach Ersatz a weng leichter tut.
Grüße aus München!
Manfred / lini