Carmen, Johannes, Indexeintrag: Deutsche Biographie, https://www.deutsche-biographie.de/pnd102508232.html [09.08.2024].