HAMBURG den 23 Julikl.