Wird der 3 Oktober als Feiertag bezahlt?