Die Deutsche Nationalbibliothek nennt Hainstadt als Geburtsort, doch die auch für den Artikel als Quelle verwendete Festschrift nennt auf Seite 28 Haingrund als Geburtsort. -- Christian140 18:07, 10. Jun. 2020 (CEST)