85.25. Notwithstanding section 33, a pension shall be granted to every employee who may be unionized and who
(1) has, in years of age and years of service, a combined total of 80 or more, if he is at least 50 years of age;
(2) has attained 60 years of age;
(3) has at least 10 years of service and is 50 years of age or over;
(4) has attained 55 years of age.
The employee is required to be a member of the plan at the time he retires under any of the criteria listed above.