{
try
{
// Der Exporter schliesst den OutputStream selbst
OutputStream os = new BufferedOutputStream(new FileOutputStream(file));
exporter.doExport(objects,format,os,monitor);
monitor.setPercentComplete(100);
monitor.setStatus(ProgressMonitor.STATUS_DONE);
GUI.getStatusBar().setSuccessText(i18n.tr("Daten exportiert nach {0}",s));
monitor.setStatusText(i18n.tr("Daten exportiert nach {0}",s));