HAMBURG den 22 Juli.