De trop: from the comedy-opera The firefly