6833 ) Rättens ombudsman.