. "1872 disestablishment in Ceylon" . . . .