6805 ) Rättens ombudsman.