Hamburg den 17 Julikl.