JavaScript: german translation