The German term meaning “tool,” Werkzeug, first appeared in the 12th century; initially it was synonymous with Zeug and Gezeug [1], while in mining, tools like the hammer and chisel were called Gezähe (Mining technology). Werkzeug was and is used as a collective term, but it also refers to individual instruments. English tool is related to Old English tol (before the 12th century), from Proto-Germanic *tōwalan “implement,” from a verb stem represented by…