ASCII-export: