Helmut Schmid <schmid@ims.uni-stuttgart.de>
