Rückblick: Pilzausstellung 2023 in Bad Dürkheim