Files mit TXT-Endung in einem externen Editor öffnen