Learn Magic! the Gathering: an Introduction to the Card Trading Game