![](https://images.gutefrage.net/media/default/user/10_nmmslarge.png?v=1551279448000)
![](https://images.gutefrage.net/media/default/user/13_nmmslarge.png?v=1551279448000)
Antwort
Natürlich ist das umgangssprachlicher Murks. Gibts genau so beim HIV-Virus, PIN-Nummer, usw.. wo das letzte Wort eigentlich schon in der Abkürzung drin steckt, aber dennoch wiederholt wird.
Man nennt das eine Tautologie