Taxonomic name: Allodia elevata (Classification)Distribution after: A review of species of the subgenus Brachycampta (Diptera, Mycetophilidae) of the Holarctic fauna