Title: Mr. Punch's Pocket Ibsen.