Section 4.2 translated and revised