Rinman , Bergverkslexikon ; dito ,Jer