Ist Allerheiligen in NRW ein gesetzlicher Feiertag?