@Icebraker:
Das hatte auch gelesen
es klappte jedoch nicht, weil ich den Namen und nicht die Endung geändert hatte. Ich habe es nun genau so ausprobiert wie von Dir beschrieben: es klappt!
@René:
Für bereits bestehtende txt-Files ist es wohl einfacher so vorzugehen, wie oben. Bei neu zu erstellenden Files ist wohl sinnvoll mit "save" zu arbeiten.
Danke!
Claudio