HAMBURG den 2 ) juli.