The Danish History, Books I-IX, by Saxo Grammaticus, 13th Century ("Saxo the Learned"), Saxo's Hamlet