□ HAMBURG den 1 december.