Rio Janeiro — ABERDEEN den 8 juli.