Rocetelion, a new Holarctic genus of the Keroplatidae (Diptera, Mycetophiloidea): description, phylogenetic and biogeographic notes. Annales Entomologici Fennici, 54(3) 1988: 107-113. 108 [Zoological Record Volume 125]