6897 ) Rättens ombudsman.