Trees in the botanic garden in Oslo