xmas day and constitution day are not formal holidays in denmark