Keine Beeinträchtigung, das ist wahr, und die meisten werden es, wie bei so vielen typografischen Spitzfindigkeiten, nicht einmal bemerken. Mir jedoch springt es ins Auge und markiert eben einen Bedeutungsunterschied, was ja auch die Aufgabe der Zeichen ist. Bei einer Begriffsbeschreibung wäre es korrekt: Der Begriff "Obergruppenführersaal" wird heute… Würde es heute (oder überhaupt) Alternativbezeichnungen geben könnte man die alte Bezeichnung auch so markieren. Der Sinn der Bezeichnung hat sich nämlich nicht geändert. Nur dass das "historisch" eben aus dem ist ein war gemacht hat. Wenn du sagst, ein vorstehendes sogenannt wäre gleichwertig, so ist dies ein Kompromiss, da ich die Auszeichnung nach wie vor für falsch halte (es müsste dann nämlich eher kursiv sein).