Woensdag 1 november 2023 is een feestdag: hoe zit het met werknemers die normaal niet moeten werken die dag?