Hamburg den » 9 December.