This link is outdated. The new website can be found at: http://www5.in.tum.de/~huckle/bugse.html