%• HAMBURG den 7 Juli.