Dinocheirus panzeri (C. L. KOCH, 1837) Fam.: Chernetidae