KARLSRUHE den 6 juli.