Source: http://hilbert.math.uni-mannheim.de/~seiler/ZT14/kap9.pdf