This paper is based on the author's PhD thesis under the supervision of Prof. Juerg Froehlich, ETH-Diss 16187.