In Leipzig brachte Gustav Mahler Carl Maria von Webers unvollendete heitere Oper „Die drei Pintos“ am 20. Januar 1888 zur Uraufführung. Er komponierte die Oper zu Ende und überarbeitete sie gründlich. König Johann von Sachsen, der die Poesie und die Musik liebte, wohnte der Premiere bei, blieb bis zum Schluss, suchte Mahler in der Garderobe auf und fragte interessiert:
„Nu sagen Se mal, Herr Gabellmeister, was an der Oper is nu gewebt und was is gemahlt!?“