Is Christmas Eve a normal working day?