My homepage is moved to http://www.rug.nl/staff/j.p.a.m.jacobs.