Hi! Just a little hint on where to look.
You can always look back in the HP Archive (http://www.hparchive.com) where they have many old catalogs online. Cheers, Magnus _______________________________________________ time-nuts mailing list [email protected] https://www.febo.com/cgi-bin/mailman/listinfo/time-nuts
