Bauchpilze (Gasteromycetes s.l.) in der Bundesrepublik und Westberlin (Beihefte zur Zeitschrift für Mykologie, 2, 1980)