Michael Hoffmann <hoffmann@inf.ethz.ch>

Width_3
-------
Thomas Herrmann <herrmann@ifor.math.ethz.ch>
Michael Hoffmann <hoffmann@inf.ethz.ch>
