Operan heter „Die drei Pintos5,