. . . . "Also, an MKs pension is payable at age 40 rather than 60 or 65, as for ordinary mortals, and the pension is computed on the basis of his entire salary, including such items as automobile or travel expenses and clothing allocations." . .