Gerry Mulligan, Paul Desmond & The Dave Brubeck Trio: Live in Berlin