6991 ) Rättens ombudsman.