6814 ) Rättens ombudsman.