/* $Id$ */ var specialEvents = [ 'bug2014jptq', // Seeheim-Jugenheim 'bug2014infb', // Troisdorf 'bug2014ilxd', // Bassum 'bug2014gfzw', // Darmstadt 'bug2014datb', // Groningen 'bug2013yvko', // Haltern 3.4 ];