Raspe, Rudolph Eric, active 16th century-19th century, Mineralogist