6810 ) Rättens ombudsman.