Rijksmuseum van Natuurlijke Historie (now: Nationaal Natuurhistorisch Museum), Leiden, The Netherlands.