. . . "Amandinea extenuata" .