Update de.json in response to #1064