derrick (n.) Look up derrick at Dictionary.com
c.1600, originally "hangman," then "a gallows," then "hoist, crane" (1727), from surname of a hangman at Tyburn gallows, London, c.1606-1608, often referred to in contemporary theater. The name represents a late borrowing from the Low Countries (compare Dutch Diederik) of Old High German Theodric.