The simple solution to the retirement problem. Make the government worker pay for their own retirement and get it off the backs of the property Owner.  If These people want to defined pension plan then it is  going to cost them at least 35% of their salary