Keil, Christoph, Indexeintrag: Deutsche Biographie, https://www.deutsche-biographie.de/pnd1196219257.html [28.07.2024].