History for "main hall, public library of cincinnati & hamilton county"