tillbragte julaftonen en famille hos konungen och brottninge ».