Update the German user manual.