Justitieombudsmannen har i en den13