スペインで2025年の諸聖人の日が祝日

2025年の諸聖人の日が祝日はスペインで公式の休日ですか？ スペインで諸聖人の日が祝日は祝日。