June 17, 2013
DESY Hamburg
Europe/Berlin timezone