Zimmermann , Ödman med flere , Rinman »Bergwerkslexikon