Taxonomic name: Mycetophila strobli (Classification)Distribution after: Holarctic species of Mycetophila ruficollis-group (Diptera, Mycetophilidae)