The Indian Biographical Dictionary (1915)/Deussen, Paul