These books detail many different mining methods used in German and Saxon mines.
これらの本にはドイツやザクセンの鉱山で使っていた各種鉱業技法が詳述されている。