Phthirocoris, eine neue zu den Henicocephaliden gehörige Rhynchotengattung von den Crozet-Inseln und Sphigmocephalus nov. gen