There were two wires going to the pump, one of which had a plastic shield around the plug (which I'm assuming was probably the live connection); the other wire was a straightforward spade connector, but with TWO wires coming from it. One of these goes into a wiring loom that appears to head into the door: the other wire, which is the one I've managed to pull out from somewhere, is about 10cm long. I can't see anywhere obvious it should have gone to - the nearest likely-looking point is some kind of sensor mounted underneath the bottom of the dishwasher tub, which has two wires going to it, via spade connectors. There's no obvious signs of there having been another wire going into either of those connectors, although one of them looks like a possible.
Does anyone have a wiring diagram, or a working one of these machines, and can tell me where that second wire should go?