Befehl: Konfiguration der symbolischen Ablaufverfolgung exportieren