Name Krehl Vornamen Ludolf Andere Namen Krehl, Christoph Ludolf; Krehl, Christoph Ludolf Ehrenfried; Krehl, Cph. Ludolf Ehrnfr. Geburtsjahr 1825 Sterbejahr 1901 Berufe & Funktionen Orientalist; Bibliothekar an der Universitätsbibliothek Leipzig; Arabist Wirkungsorte Leipzig GND 116514477
