Pension Funds for Employes Other than Police Officers and City-Paid Firefighters