ris , t. o m . de » 20 Juli.