Stach's textbook of coal petrology (Borntraeger, 1975)