AEG Washing machine Fault EF0 - My solution to resolve the error.

Warning. I should not have touched the water with the washing machine turned on. Make sure you disconnect from power supply before investigating. I could not find a solution to the code EF0, when I looked inside it was a float switch that tripped as a boot was leaking. £25 on eBay for a new one and half an hour to fit and the machine is back up and running.