Official holidays for Denmark matches those listed on <http://da.wikipedia.org/wiki/Danske_helligdage#De_danske_helligdage>.
Type representing <DK-helligdag> elements.
Type representing <DK-første-bankdag-i-måneden> elements.