Hypochthonius rufulus C. L. Koch, 1836