"to devalue" Deutsche bedeutung