NavList thread: Ludolph sextant date of manufacture?