Wilfrid Oberhummer, Herzig, Josef. Neue Deutsche Biographie, online at URL: https://www.deutsche-biographie.de/pnd116761482.html#ndbcontent.