You missed the point of people needing to cover, so working lots of extra hours, which in turn creates more turnover, which is expensive in its own right.  Bottom line is that government isn't anywhere as nimble as the private sector, and changing how retirement is handled will make things worse, not better.  You want to make government agencies not work, this is the way to do it.