Más adelante se nombró en honor del astrónomo checoslovaco Josef M.