some typos in german.js