Rename some German symbols to English.

I felt like I needed to make a commit today.