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