justitieråd utnämnts riksdagens justitieombudsman,