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.