Johann Franz Encke — German astronomer (1791–1865)