Tex-Dateien
löschen