Why is it possible that the name zinc could be derived from the German zinn