. . . "Mycomicrothelia miculiformis" .