Dinsdag 30 mei 2023, Hortus botanicus Leiden