Dnsdagen den 9 December.