. . . "Holcostethus tristis" .