Nun, das ist ein hochinformativer und sehr detailreicher Artikel. Sicher könnte man einiges auslagern. Aber die Länge eines Artikels ist weder ein Positvkriterium (wie es manchmal auch aufgefasst wird) noch ein besonders sinnvoller Kritikpunkt. Vor allem: macht das irgendwer wirklich, WP-Artikel auszudrucken? -- Clemen 00:23, 25. Nov. 2019 (CET)