HAMBURG den 19 Juli.