■Hamburg den 2 Julikl.