"deducible formula" Deutsche bedeutung