. . . "Helicogloea lagerheimii" .