Hamburg den 5 dee.