"Hohenbuehelia longipes" . . . .