The old public library of **cincinnati**