Falls jemand erweitern möchte: Eine sehr schöne Quelle zu mehr Informationen über Heydorn findet sich [1] https://www.deutsche-digitale-bibliothek.de/item/RRIJEIWQJYZK3R2FX3SRZJOJRN3WJOZG zu seinem Hundertsten - quasi eine Mini-Biografie. Ich hab aber leider nur den Direktlink. -- 09:22, 2. Okt. 2023 (CEST)