Dictionary of Indian Biography/Benfey, Theodor