This page has moved to http://www.cs.uku.fi/~fredriks. You should be automatically forwarded there in 5 seconds.