When was Pretzels created?

Pretzels are known to have existed in some form since the 7th century. However, the first recorded recipes for pretzels, including the twisted shape and the use of lye as a dipping agent, date back to the 13th century in Southern Germany.