Translation of "Subterm" in German