HAMBURG den 11 Juli.