/* $Id$ */
var specialEvents = [
	//'bug2014ytlk', // Vechta 3.0
	//'bug2014wjwx', // Haltern 3.6
	//'bug2014ldts', // Darmstadt
	//'bug2014kowj', // Vogtland 5.0
	//'bug2014jptq', // Seeheim-Jugenheim
	//'bug2014infb', // Troisdorf
	//'bug2014ilxd', // Bassum
	//'bug2014gfzw', // Darmstadt
	//'bug2014datb', // Groningen
	'bug2013yvko', // Haltern 3.4
	'bug2015fdpy', // Darmstadt 3.0
];