A new public library building in Cedarville, Ohio