= Hamburg den 15 December.