Oh, da fällt mir viel Unwichtigeres ein, und vor allem Vieles, was nicht im Widerspruch zu den Angaben hier bei Wikipedia steht. Aber meine Frage richtete sich auch eher an die Benutzer, die inhaltlich zu dem Artikel beigetragen haben. -- DerMaxdorfer 21:00, 12. Feb. 2023 (CET)