Ist der 2 November in Bayern ein Feiertag?