Dorreit Hoffleit, astronomer [11:32]