Carlsruhe den li ) Juli.