Im Übrigen finde ich die Erwähnung an dieser Stelle eigentlich gar nicht so elegant, obwohl die ursprüngliche Einfügung von mir ist. Ich habe diese Lösung seinerzeit nur gewählt, da so mit minimalem Aufwand der historische Kontext korrigiert werden konnte, der zuvor doch recht "schräg" wiedergegeben war. —  VogelJ 02:15, 5. Jul. 2017 (CEST)