HAMBURG den 3 juli ,•