Dictionary of Indian Biography/Böhtlingk, Otto von