The Red Army Choir – Buchenwald's tocsi