AMSTERDAM den ti juli.