Exporting data

The data that we imported can be exported back to a file.