De niet opgenomen vakantiedagen van bedienden: een afrekening in de maand december?