I want to know how the procedure for electing the head of a district court works? Do judges have the right to elect the head of the court themselves?