It took me by complete surprise that the Dax and Stoxx closed at 2pm CET today (Dec. 30th). I had gotten holiday schedules from a couple brokers and neither of them noted this. Did anyone else know about it? How did you find out about it? Even the Eurex calendar at www.eurexchange.com doesn't show it.