Some corrections of the German documentation