Leiden ( Holland ).