Text this: Retirement benefits for bankruptcy judges and magistrate judges.