Has anyone been to the Christmas market in Cathedral Square? Supposed to be more traditional from what I hear.