Should Christmas bonuses be given at the beginning of December so you can use it to buy Christmas presents?