Die Pilzammlung des Botanischen Museums zu Berlin Dahlem (B)