Many thanks for the instructions for getting into service mode, that did the job. Regarding the heater element, it turns out that there are two relays involved in the heater circuit, one on each side. I think one is activated when the washing machine on/off button is set to on, and the other...