Ist am 01.10 Feiertag?