Sommer und Herbst ist Pilzzeit. Hier ein paar Eindrücke aus dem digitalen Sammelkörbchen nach einem Waldspaziergang.