The Cincinnati Human Relations Commission: A History, 19432013