Witteman, Paul, Indexeintrag: Deutsche Biographie, https://www.deutsche-biographie.de/gnd135564093.html#indexcontent [28.06.2026].