har just den 25 december blifvit utsedd såsom den egentliga högtidsdagen?