HAMBURG den 6 Juli.