Hypogastrura ripperi Gisin, 1952