Hamburg deu 20 Julikl.