[Bug 1039305] Deutsch dictionaries: change decrementieren to dekrementieren