Emmental, Champignons