103 STAT. 624 PUBLIC LAW 101-94—AUG. 16, 1989 "(k)(l) The annuity of the surviving spouse of a judge making an election under subsection (b) of this section shall be an amount equal to the sum of the following: "(A) The product of— "(i) 1.5 percent of the judge's average annual pay; and "(ii) the sum of the judge's years of judicial service, the judge's years of prior allowable service as a Member of Congress, the judge's years of prior allowable service per- formed as a member of the Armed Forces, and the judge's years, not exceeding 15, of prior allowable service per- formed as a congressional employee (as defined in section 2107 of title 5). "(B) Three-fourths of 1 percent of the judge's average annual pay multiplied by the judge's years of allowable service not counted under subparagraph (A) of this paragraph. "(2) An annuity computed under this subsection may not exceed 50 percent of the judge's average annual pay and may not be less than 25 percent of such average annual pay. Such annuity shall be further reduced in accordance with subsection (d) of this section (if applicable). "(3) For purposes of this subsection, the term 'average annual pay', with respect to a judge, means the average annual pay received by the judge for judicial service (including periods in which the judge received retired pay under section 4096(d) of this title) or for any other prior allowable service during the period of three consecu- tive years in which the judge received the largest such average annual pay. "(1) Subject to subsection (d) of this section, the years of service of a judge which are allowable as the basis for calculating the amount of the annuity of the judge's surviving spouse shall include the judge's years of service as a judge of the Court, the judge's years of service as a Member of Congress, the judge's years of active service as a member of the Armed Forces not exceeding 5 years in the aggregate and not including any such service for which credit is allowed for the purposes of retirement or retired pay under any other provision of law, and the judge's years of any other civilian service within the purview of section 8332 of title 5. "(m) Nothing contained in this section shall be construed to prevent a surviving spouse eligible therefor from simultaneously receiving an annuity under this section and any annuity to which such spouse would otherwise be entitled under any other law with- out regard to this section, but in computing such other annuity service used in the computation of such spouse's annuity under this section shall not be credited. "(n) A judge making an election under subsection (b) of this section shall, at the time of such election, waive all benefits under the civil service retirement laws. Such a waiver shall be made in the same manner and shall have the same force and effect as an election filed under section 4096(d) of this title. "(o) Whenever the salaries of judges paid under section 4053(e) of this title are increased, each annuity payable from the retirement fund which is based, in whole or in part, upon a deceased judge having rendered some portion of that judge's final 18 months of service as a judge of the Court, shall also be increased. The amount of the increase in the annuity shall be determined by multiplying the amount of the annuity on the date on which the increase in
�
