— Till justitieråd har utnämnts justitieombudsmannen,