"automatic deduction plan" Deutsche bedeutung