Kurze Info um das zum Abschluss zu bringen:
Ich habe heute vom Support das kostenloses Update auf LE10 bekommen. Mp3 Export ist automatisch enthalten. Problem gelöst.
Ansonsten hätte man vermutlich einen Download Code gebraucht um den Patch erneut herunterzuladen. Das wäre über den Support aber wohl auch gegangen (“…falls LE10 ihr Problem nicht löst, melden Sie sich nochmal…”).
Danke an alle, die sich Zeit genommen haben mir zu helfen.
Viele Grüße und frohe Ostern