Der praktische Grubenbau - Gall v. Gallenstein, Josef (1858)