DARMSTADT den 13 dec .'