"substitution formula" Deutsche bedeutung