6995 ) Rättens ombudsman.