Minneapolis Employees Retirement Fund service credit purchase authorized forprior city employment as a permit employee.