6538 ) Rättens ombudsman.