G. Mahler: Die drei Pintos, J. Anh. 5