31.—(1) If a Federal judge becomes entitled to a pension under paragraph 29 or 30 or a Federal judge referred to in paragraph 30 dies while in office, on his death there shall be payable to his widow and to or in respect of any dependent child of his the pension that would have been payable under the Public Service Regulations had that judge been a Public Service officer in the European Pensionable Branch of the Federal Public Service, calculated in relation to the pension and, if applicable, additional pension to which that judge was entitled, irrespective of any commutation thereof, under paragraph 29 or 30.
(2) If a Federal judge dies while holding office as such his widow and any dependent child of his shall be paid the pension provided for in his conditions of service.