Befattningen kallas ju sriksdagens justitieombudsman »,