15 augustus is een feestdag: hoe zit het met werknemers die niet moeten werken die dag?