xmas day and constitution day are not formal holidays in denmark

Xmas eve (24/12) and constitution day are not formal holidays in Denmark. Please see:

[http://en.wikipedia.org/wiki/Public_holidays_in_Denmark]