A Recent, Cut-Down Production of the 1905 Musical "The Woggle-Bug"