Rijks Museum voor Natuurlijke History (at present National Natural History Museum) Leiden, The Netherlands.