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