Taxonomic name: Polylepta guttiventris (Classification)Distribution after: Notes on the Palaearctic species of the genus Polylepta Winnertz (Diptera: Mycetophilidae) with a new synonymization