スペインで2025年の聖アントリンの日

2025年の聖アントリンの日はスペインで公式の休日ですか？ スペインで聖アントリンの日は地方の休日。