The storyAllen, the name of Allen Manufacturing Company, and wrench.Etymology from Wiktionary, CC BY-SA 4.0.