European fungus flora : agaricaceae