Thanks a lot Psi!
Indeed, this Hirose connector looks like it is the same one! And, unless I am mistaken, the one you refer to actually has 12 pins, just like mine (not 13).
Perhaps not surprising there is a Japanese connector on this device. Even though it is a Hewlett Packard (/Agilent) device, it says it is made in Japan and also inside several PCBs have "Made in Japan" written on them ;-)
Best Rudi