Quale istituzione sceglieva il successore del giudice qualora alla morte del giudice non vi fossero eredi designati?