... there was a PCMCIA card which could read the cards that were produced for the HP48 and HP95 series? Or does someone know of such a device?