Linux Mint - Welchen Download-Manager benutzt ihr? ole83 28. Februar 2023 um 09:16 sowas hab ich schon ewig nicht mehr genutzt