, , HAMBURG den 15 Juli.