Update de.json with small tweak from #740