Justitieombudsmannen omfattade den förstnämda