Anspruch auf Versetzung in den dauernden Ruhestand.
§ 87. Der Richter hat Anspruch auf Versetzung in den dauernden Ruhestand, wenn er das 60. Lebensjahr vollendet hat oder seit mindestens drei Jahren außer Dienst gestellt oder seit mindestens fünf Jahren gemäß § 84 Abs. 1 in den zeitlichen Ruhestand versetzt ist. Paragraph 87, Der Richter hat Anspruch auf Versetzung in den dauernden Ruhestand, wenn er das 60. Lebensjahr vollendet hat oder seit mindestens drei Jahren außer Dienst gestellt oder seit mindestens fünf Jahren gemäß Paragraph 84, Absatz eins, in den zeitlichen Ruhestand versetzt ist.