${lead}
Laden Sie zunächst 7-Zip über folgenden Link herunter: https://7-zip.de/download.html. Es handelt sich um eine kostenlose Open-Source-Anwendung. Nach dem Herunterladen installieren Sie das Programm.
