"forward substitution" Deutsche bedeutung