presidenter , högsta domstolens ledamöter samt justitieombudsmannen , »vidare