Zimmermann , Ödman med flere , RinmanSBergwerkslexikon