Rock drilling. Rock-drilling technics, pneumatic tools, compressors.
Rock Drilling.
Essen, 
[1961]