Added references to D. Koehn's dissertation. Large parts of the theory are extracted from his dissertation.