' ris , t. o m . ben 20 Juli.