HAMBURG den 4 juli.