Mining lore;: An illustrated composition and documentary compilation with emphasis on the spirit and history of mining