Ah, a day off tomorrow. Christmas vacation, as it were. And next week we have an extra two days off for (Western) New Year's. Weird thing this year is, we don't have to make up the two days. Usually any days off you have in this country you have to make up during the weekend. So not a true holiday then.