Hamburg , den er December.