6818 ) Rättens ombudsman.