Sollte ich das Default von eol beim Export so lassen wie es ist (kein eol -> kein Record-Separator, alles in einer Zeile) oder wäre es besser eol auf $/ zu setzen, wenn für eol nichts eingegeben wurde?