Pfingstmontag (gesetzlicher Feiertag)