Minneapolis Employees Retirement Fund service credit purchas e for prior city employment as a permit employee authorized.