The thermal fuse was blown out. Unfortunately the thermal fuse is not sold as a single component. One has to replace the whole heat exchanger, which is quite painful. So for future references if someone is experiencing the fault code f.62 or f.25, then unplug the cable that is located on the top...