extensie veranderd van txt naar tex