HELSINGI ' ORS den 18 juli.