Paul Hermann’s Ceylon Herbarium (1672–1679) at Leiden, the Netherlands · Study