RIO JANEIRO den 15 juli.