Harding, Charles Louis, German astronomer