Dictionary of Indian Biography/Brandis, Sir Dietrich