Grundzüge der Bergbaukunde - Niederist, Josef (1863)