Ist der 1 November in Nordrhein-Westfalen ein Feiertag?