European fungus flora: Agaricaceae