20110529 unknown: What is the origin of the term hat trick?