justitieombudsman och den senare till hans efterträdare.