No way to find the service manual even by paying.
It seems that the water ingress stays for too long and the counter-flood protection goes on starting the drain pump that stays on until you switch off the unit.
That led me to suspect the pressure switch does not stop the water from coming in and the maximum time allowed expires.
I emailed Hotpoint staff that replied in one day that leds 1 and 3 stands for ... possible fault of the pressure switch!
I will check for a clean pressure sensor tube and for a working switch and will report here.