RIO DE JANEIRO den 13 juli.