Histiostoma ovalis (Histiostomatidae, Acari) associated with Ips sexdentatus (Scolytinae, Curculionidae, Coleoptera): ecology and mite redescription on the basis of formerly unknown adults and nymphs