import from file; bugfix in export to file