Why city of Cincinnati workers are getting more at retirement

Many of Cincinnati's 6,000 workers can save unused time until retirement.