gastromicet [m] Bauchpilz (Gastromycetes, Gasteromycetes) [m].