This page has moved to http://ls11-www.cs.uni-dortmund.de/people/gutweng/cf/cf.html