Oben sind bereits zahlreiche Quellen für den Namen genannt und er wird noch von viel mehr verwendet. Eine verlässliche genügt nach WP:Q, solange nicht andere Quellen Gegenteiliges behaupten. Sollten später andere Namen dominieren, kann man den Namen jederzeit ändern, wie auch bei der Baader-Meinhof-Gruppe, Baader-Ensslin-Gruppe, Baader-Meinhof-Bande und dann später Rote Armee Fraktion. StTropez83 19:03, 10. Dez. 2022 (CET)