KARLSRUHE den 8 Juli * ).