Justitieombudsmannen oeli Högsta Domstolen.