How Cincinnati became the birthplace of American astronomy