Die Definitionen stehen m. E. aufgrund der Quellen fest und können/sollen von uns auch nicht geändert werden. Für den interessierten Leser hab ich Deine Anregung, in hoffentlich verständlicher und doch korrekter Form, in einer Anmerkung ergänzt. Schöne Grüße, -- Hans Koberger 11:08, 16. Jun. 2020 (CEST)