Our website has moved to

 http://www.inf.uni-kiel.de