Chris Lehmann has moved!
His new homepage is @

http://www.practicaltheory.org
Your browser will forward you to his new homepage in 5 seconds...