HAMBURG den 1 december.