Rijksuniversiteit te Leiden. Hortus Botanicus