Hamlet and Bánk. World drama and national tragedy