HAMBURG den 80 juli.