Der Grubenausbau - Bansen, Hans (Springer Berlin Heidelberg, 1906)