"Clavulinopsis ledermannii" . . . .