Das hast sicher nicht Du zu entscheiden, ob das erledigt ist. Argumente hast du keine. FC Bayern München ist auch die gebräuchlichste Bezeichnung. Somit ein äußerst schlechter Vergleich, mal wieder.-- HSV1887 18:40, 6. Jul. 2019 (CEST)