${lead}
Bevor ausgewählte Programme von Flathub im Paketmanager bereitstehen, muss diese zusätzliche Quelle noch aktiviert werden.