Ist der 15.8 ein Feiertag in NRW?