Update locale/de.js. Fixes #719