Buffalo Philharmonic Orchestra: Vaughn Williams and Double Bass