Digitalradio-in-Deutschland

Also bildet sich das Shortlabel nicht zwingend automatisch durch Festlegung des Langnamens (daraus wird das ja eigentlich gebildet)?

Das ist insofern unvorteilhaft, weil der Sender daurch auf vielen Geräten als namenlos erscheint, wenn sie nur Kurznamen können.
Bei einem hab ich sogar eine "Lücke" in der Senderliste, weil das Gerät dennoch nach Langnamen geht, aber nur die Kurzkennung anzeigt.

Offensichtlich vertrauen die High-End Geräte auf den Nutzer, wenn der Multiplexer eine solche Fehlkonfiguration zulässt.
Ich kenne das vom ODR-Multiplexer, der meckert dann wenn das Short Label keine Teilmenge vom Long Label ist und verweigert das Multiplexing.

Das würde ja dann bedeuten, dass in Leipzig nicht mehr auf ODR gesetzt wird. Das wurde ja damals zum Start der Minimuxe sogar explizit beworben.
Inzwischen ist ja auch die Soundqualität endlich auf Augenhöhe mit MB, teils sogar deutlich besser.