Taxonomic name: Docosia diutina (Classification)Distribution after: Mycetophilidae (Diptera): Additions and corrections to the "Checklist of the Diptera of Hungary"