Hamburg den ét December.