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