Hello,
problem solved. The problem was a broken micro switch, see attached image.
Replacement was hard to get from the original supplier, they usually sell them in packages of 500 pieces. Now they charged me 25 Euros for ONE, but it was worth the money because the machine works well again. In between I tried another similar looking switch for a few Euros but that one did not work either.
Best
Claus
Bookmarks