Steinkohlenbüchlein, oder, Eigenschaften, Gewinnung, Benutzung, u. s. w. der Steinkohle [electronic resource] / bearbeitet von H. Bruhn