Paddestoelen, egeltjes, herfst