: Hypoxylon vogesiacum.