Annual leave during notice period

[Martinco]

Ok lets put this in the following perspective:

You resigned on 15 th (?) November, that means you have to work till 31 st December.
You have 8.5 days to your credit.
Only 4 of your "credit" days fall within the annual shutdown and you will not be at work....right ?
So you have used 4 of your credits and therefore the company needs to pay you 4.5 days of leave pay at the end of Dec.

If the 24 Dec is also in the shutdown period, then you only have 3.5 days to be paid out.