internetradio

Ich sitze gerade an meinem frisch aufgesetzten Ubuntu Mate 20.04 und versuche, eine Möglichkeit zu finden, die Sammlung meiner Lieblings-Internetradiosender in einen neuen Player zu verfrachten und bekomme langsam grüne Haare. Bisher (unter 16.04) hatte ich 'Radio Tray' aber das ist nun nicht...