スペインで2025年の労働者の日

2025年の労働者の日はスペインで公式の休日ですか？ スペインで労働者の日は祝日。