Dateien exportieren
Zum Exportieren von Dateien aus der Workbench verwenden Sie entweder
Ziehen und Übergeben im Dateisystem oder
Kopieren und Einfügen im Dateisystem oder
den Exportassistenten.