Nyelvújítás kori ásványtani műszótáraink és szerzőjük, Kováts Mihály