Gré Brouwenstijn, Annie Hermes, Ernst Haefliger, Hans Wilbrink, Amsterdam Toonkunst Choir, Concertgebouw Orchestra & Otto Klemperer