Glossary of terms appearing on maps of the Netherland Indies. Provisional edition.