Title: The rubber production in the Dutch East Indies