I checked the switch, it was fine, looked into the pump, it was clean, vacuumed every corner, cleaned all the fluff out.
Since the broken wire was unreachable from the outside of the heater, I completely took the element apart, crimped the two ends of wire with a piece of electrical...