HAMBURG * den 22 juli.