Dave Brubeck Trio feat. Gerry Mulligan & Paul Desmond - Berliner Jazztage 1972