( hemställer justitieombudsmannen :.