Release notes: * New content (incl. spelling and grammar fixes) for German, French, Italian, Norwegian, Russian, Spanish and Korean * The PDF version of the manual is now generated using dblatex * Lots of bug fixes
done