This is a slightly modified version of ETH-Diss 14203