KARLSRUHE den 4 juni.