Taxonomic name: Allocotocera pulchella (Classification)Distribution after: Einige Fungivoriden vm Daisetsu-Gebirge in Hokkaido (Diptera, Fungivoridae)