DARMSTADT den 6 Juli.