How can I fix no power to Indesit IS70C water pump?

The dryer is working OK and the pump which pushes water from bottom condensor up to top receiver is working when disconnected and powered separately (but a bit noisy). BUT - both the power wires to the pump have +225v on them. Where do these power supply wires come from - is it direct from the top timer area or are there other components involved between the timer are and the condensor area - anyone got a circuit diagram? - Thanks for any help - Kevin James 0033663425050