HAMBURG * den 8 juli.