Albrecht Schrauf (1837–1897), Mineralogy