使用Intl.DateTimeFormat和区域信息输出错误的时间

Question

我刚刚用Javascript尝试过Intl.DateTimeFormat，并注意到以下内容产生了错误的时间结果：

var date = new Date(Date.UTC(2012, 11, 20, 0, 0, 0));

var options = {
  year: 'numeric', month: 'short', day: 'numeric',
  hour: 'numeric', minute: 'numeric', second: 'numeric',
  hour12: false, timeZone: 'Europe/Istanbul'
};

console.log(new Intl.DateTimeFormat('tr-Tr', options).format(date));

'Europe/Istanbul'的时区为+03.00。因此它应该产生"03:00:00"，但它产生"02:00:00"。

这是错误还是我做错了什么？