What Gives Pretzels Flavor