Title: The monetisation of the Dutch East Indies