Wie der Artikel bereits schreibt, sind die Ergänzungen beim Namen eher formeller Natur. In dem Zusammenhang würde ich Wikipedia:Namenskonventionen#Unternehmen hinzuziehen, da lt. Konvention im Lemma "Unternehmensname[n] möglichst ohne Rechtsform und Namensanhängsel" geführt werden. Dementsprechend aus meiner Sicht keine Änderung. Ob das Namensanhängsel in den Einleitungssatz aufgenommen werden soll, kann diskutiert werden - auf der Homepage sehe ich allerdings noch keine grundlegende Umbenennung. -- Garvitor 12:10, 6. Aug. 2019 (CEST)