Taxonomic name: Allodia lugens (Classification)Distribution after: Pilzmucken aus dem Kaukasus-Gebiet (UdSSR) (Insecta, Diptera, Mycetophilidae)