Jensen , d-o . stenkol ; Hermann , Butz,