Welches Mint ole83 27. September 2022 um 13:41 Linux Mint Xfce ist flott, leicht und Ressourcen schonend