Prior to amendment, subsec. (k) read as follows: ???A bankruptcy judge or United States magistrate who is separated from service, except by removal, after becoming 62 years of age and completing 5 years of civilian service, or after becoming 60 years of age and completing 10 years of service as a bankruptcy judge or United States magistrate, is entitled to an annuity.???