Hypostilbus griseus Brancsik, 1898