Die Inhaber denken nicht daran, diesen Namen zu ändern, weil er eine leuchtende Tradition und guten Ruf hat. Man sollte diskriminierende Bezeichnungen abschaffen. Das ist richtig, aber es kommt meines Erachtens immer darauf an, in welchem Kontext gewisse Namen und Bezeichnungen gebraucht werden.