Mann, Thomas E., Indexeintrag: Deutsche Biographie, https://www.deutsche-biographie.de/gnd124216773.html#indexcontent [30.10.2026].