Retirement; pre-1973 retirement benefit change authorized re versing 2001 conversion from lump-sum payment to monthly ben efit increase.