Mr. Punch's Pocket Ibsen.