Dave Brubeck Quartet, Live at Berliner Jazztage, Berlin November 4th.1972 (Restauración 2023)