1. Fachbereich Mathematik, Universität Hamburg; Bundesstraße 55 20146 Hamburg Germany
2. Mathematisches Institut, Albert-Ludwigs-Universität Freiburg; Eckerstraße 1 79104 Freiburg im Breisgau Germany
3. Institute for Logic, Language and Computation; Universiteit van Amsterdam; Postbus 94242 1090 GE Amsterdam The Netherlands