Allopauropus helveticus Hansen, 1902