Typos in German man pages

Fixed some typos in the German description of a few efuns (fixes #818).