7397 ) Rättens ombudsman.