Het probleem is boven water. Dankzij de tip van Walker, die verwees naar Circuitsonline. Het bleek inderdaad met de deurschakelaar verband te houden. Bij de stekkeraansluiting op de printplaat van de bedieningsknop, was een breuk in de printplaat te zien. Deze overbrugt met een draadje en voilà, alles werkt weer!
De machine is overigens 30 jaar :-)