Habe eine Lösung gefunden: Export werden immer alle nicht gemutete Kanäle. Also kann ich das Stückchen Midi, was ich exportieren will, in einen separaten Track kopieren und anschließend separat exportieren.
Geht’s vielleicht noch komfortabler? Danke!