DARMSTADT den 24 Juni.