Digitized from the LP shown below, released by Deutsche Grammophon around 1963. Janos Kulka leads the Radio Symphony Orchestra of Berlin.