Be nice if someone (Dutch) could organise this.  There appear to be 3 categories of days, as described: public holidays with mandatory time off work; public holidays without mandatory time off work; and commonly marked days which are not public holidays.  ...Although it's curious how something can be considered a public holiday if it doesn't involve some sort of legislated time off...

The table really needs extra columns to suit.  I'd do it myself but I fear making the article less accurate.