"Grumman-581" wrote in message
news

Traditionally, government employees have been paid considerably less than
their private sector counterparts... One way to compensate for that is to
give them better retirement options...

....or less real (i.e., productive) work to do.