Where is th pump located on the TKD795/2?

The dishwasher fills up with water but then does not pump the water through the jets, which I have tested and these are not blocked. I wondered whether there is a fault with the pump and have lost the manual and need to take the pump out and replace it if this is the problem. Thanks