. . . "Mycenella rubropunctata" .