Julaftonen skulle as denstorhertigliga