e-mail: gasbichl@informatik.uni-tuebingen.de