@jbg
Danke! Dann probier ich die mal aus
@gimbar
wie robert eigentlich schon sagt, ist 7Zip einfach nur ein anderer Packer als Alternative zu RAR und ZIP, die ja beide _nicht_ kostenfrei sind. Und wie man sieht, hat 7Zip ganz offensichtlich ein bessere Kompression, jedenfalls wenn es wie hier, um reinen Text geht
tyler
//EDIT
zur Info:
Mit den neusten Paketen hats dann funktioniert. Sauber entfernt, und die beiden Installer JCL und JVCL nochmal gestartet - fertig
Danke für eure Hilfe!