Girimaṇḍala untranslated

Girimaṇḍala. A district in Ceylon. See Giri (4). Cv.li.111; for identification see Cv.Trs.i.159, n.l.