Title: On the etymology of Hamlet