Taxonomic name: Phronia rauschi (Classification)Distribution after: Zwei neue Pilzmucken aus Ungarn. (Diptera, Nematocera, Mycetophilidae)