Update de.json with small tweaks from #740