The Rijksmuseum | Documentation “Encyclopedie van Nederlandsch Oost Indië, Den Haag, Leiden 1917, dl. 1, p. 135-137.”