Hamburg den 5 Julikl.