Independent School District No. 625, St. Paul, postretirement health insurancecoverage restoration required for specified retired teachers.