Mr. Punch's Pocket Ibsen; a Collection of Some of the Master's Best-Known Dramas Condensed, Revised, and Slightly Rearranged for the Benefit of the Earnest Student