Trogulus tingiformis C. L. KOCH, 1847 Fam.: Trogulidae