Operan heter » Die drei Pintos » ,libretton