The element was probably named by the alchemist Paracelsus after the German word Zinke (prong, tooth). What two people discovered the electrochemical properties of zinc?