Discovery of the first asteroid, ceres : Historical Studies in Asteroid Research (2016)