Not made it to Ireland??? Do you ever go to Germany? The Germans were the first to make pretzels. Here, we have small pretzels and pretzel sticks, which are crunchy, but we also have large pretzels, which are soft, and usually served hot, with mustard.
Sorry Doc...I'm not paying attention..it's past my bedtime...