The Shanghai Quartet plays Brahms