KARLSRUHE den 7 juni.