after their death that library was left in a legacy to leiden university