"devaluation procedure" Deutsche bedeutung