"[ Ofenbach's "Paradise" plays ]"