Thanks for your suggestion re the unused sensor.
You could well be right.
It's made by VDO, and while I can't locate the exact part number, on a number of sites which have part numbers listed, it's very close to several existing numbers, marked as "hall effect " switches.
Cheers for your support
E200 Wagon 1994 111,000 miles.