. . . . "Its retirement fund for current and retired workers in Iowa's schools, state agencies, cities, counties and other local governments is supported by taxpayers and investments." . .