Workbench export (WorkbenchExporter)

Additional information