pensionerades efter 10 å 20 års tjenstgöring i stället för efter 30 års.