15x rood en 2x groen is waarschijnlijk EF2 (pluizenfilter) echter het filter was nauwelijks vervuild.
Omdat de gelegenheid er was heb ik het slangetje van de niveau meting nog doorgeblazen (was ook open), de deurschakelaar en printplaat gecontroleerd en de besturing gereset.
De reset procedure vond ik op een ander forum:
[I]Start/pauze en de knop links er naast tegelijk indrukken, programma knop 1x naar rechts terwijl die twee knopjes ingedrukt zijn. Alle lampjes gaan aan. Dan stap voor stap rechtsom tot einde....[/I]
Wat de echte oorzaak ook was, de machine draait weer als van ouds. :-)