Diagnostic Codes for Tricity bendix aw1202w washing machine?

Hi, I have a tricity bendix aw1202w washing machine and when I turn on any program , the drain pump runs for approximately 30 seconds then the wash light and spin light go out and the end light comes on. When I go through diagnostic procedure ,I have 4 red light flashes followed by 3 green flashes on the start/pause button. Does anyone have the list of diagnostic fault codes for this machine to narrow down the fault please?
Thanks
Jim.
Jim, January 2023


done
Service manual allegedly here:

https://tds.electrolux.com/others/599/724/080EN.PDF

Vvhj, January 2023