Cincinnati faces hundreds of millions in repair costs for city buildings