Title: An encyclopaedic dictionary of Sanskrit on historical principles