historicaltimes: The “Old” Main Library of Cincinnati, 1954