"deduction type" Deutsche bedeutung