The element was probably named by the alchemist Paracelsus after the German word Zinke (prong, tooth). Who named the element zinc?