KARLSRUHE den 13 juni.