Fix typo in German. Fixes #1067.