[Stahlkoloss]

Jedenfalls hat dieses windows das ärgerlicherweise behauptet.
Aber es sind txt-Dateien, wie ich gerade festgestellt habe. Zumindest lassen sie sich mit dem Editor ganz normal öffnen. Falls noch jemand das Problem hat.