Translation of "As he put it" in German