Quite so. Not a Hun, a Turk. It's been a long day and I went to bed disconsolate at half past three this morning. The fact that Uncle Jimmy was killed by a Turk and not a German hardly affects the sentiment of what I was saying. Thank you for the polite correction. .