HAMBURG den 12 Juli.