Minor translation fixes from German to English.

Minor translation fixes from German to English.