. . . "Lyophyllum loricatum" .