This manual is exactly what I needed. This site always has every manual I need, and it is also much less expensive then most other sites. This is the only manual site I will use.
Exactly as described, the full user-manual (145 pages). Perfect.
Text excerpt from page 30 (click to view)
Cleaning and maintenance
Door seal
Check from time to time the door seal and eliminate eventual possible objects that could be trapped in the fold.
Drain pump
The pump should be inspected regularly and particularly if the machine does not empty and/or spin the machine makes an unusual noise during draining due to objects such as safety pins, coins etc. blocking the pump. Proceed as follows: Disconnect the appliance. If necessary wait until the water has cooled down. Open the pump door. Place a container close to the pump to collect any spillage. Release the emergency emptying hose, place it in the container and remove its cap. When no more water comes out, unscrew the pump and remove it. Always keep a rag nearby to dry up spillage of water when removing the pump. Remove any objects from the pump impeller by rotating it. Put the cap back on the emergency emptying hose and place the latter back in its seat. Screw the pump fully in. Close the pump door. 73