Vivacricotopus, a new genus of Orthocladiinae from Norway (Diptera, Chironomidae). Spixiana Supplement, No. 14 1988: 49-55. 49 [Zoological Record Volume 125]