Synopsis Generum Agaricalium (Die Gattungstypen der Agaricales)