KARLSRUHE den 16 juli.