Ist der 31.10 ein Feiertag in BW?