företogs val af elektorer för utseende af justitieombudsman.