DARMSTADT den 15 dec.