Here, and in the sequel, I mostly take over the English translation by J. Leroy and J. Ritter used in the book.