HAMBURG den 13 Juli.