Canciones de las Brigadas Internacionales (Ernst Busch, 1938)