6828 ) Rättens ombudsman.