KARLSRUHE den 22 juni.