RIO JANEIRO den 5 juli.