The White House has released the following video of its staff decorating their Christmas tree. Not bad, but just one question: is this where the Obamas will celebrate Christmas morning?