Hamburg den 3 decernb.