4. Die weiteren Anträge der Parteien werden abgewiesen, soweit darauf einzutreten ist.

5. Die Gerichtskosten werden wie folgt festgesetzt:

CHF 32'000.-- Entscheidgebühr
CHF 6'566.40 Kosten der Beweisführung
CHF 38'566.40 Total