I was googling a fix for my washer dryer and ended up here and eventually figured it out so I thought I’d post a solution.
Mine’s a WVT model (serial number is on the back) so error code F01 means the door isn’t closed or the door lock is broken.
Rather than fork out for a new lock I thought I’d see if I could fix it. Turns out the reporting wire had come loose and the machine interpreted it as a fail. Resited and secured the wire and it’s back to normal.
This youtube video http://www.youtube.com/watch?v=YoBjLiVXHiQ showed me how to get to the back of the lock and then fixing was easy.
Note that this may not work for you but certainly check the wire before you buy a new part/call a repair man