Mirek Riedewald has moved to Northeastern University. Please visit his new homepage there.