Text this: The influence of English on the German vocabulary to 1700.