German translation. Improved and expanded.