Ein Richter, der vor Vollendung des sechzigsten Lebensjahres aus dem Amt geschieden ist und der bei Erreichen dieser Altersgrenze Anspruch auf ein Ruhegehalt hätte, kann sich dafür entscheiden, ab einem beliebigen Zeitpunkt nach dem Datum seines Ausscheidens aus dem Amt ein Ruhegehalt zu beziehen.
El magistrado que cese en sus funciones antes de llegar a los sesenta años de edad y que tendría derecho a una pensión de jubilación al alcanzar esa edad podrá optar por percibir una pensión desde cualquier fecha posterior a la de cesación en el cargo.