* ) näml. justitieombudsmannen.