HAMBURG d , 15 Juli.