Hamburg Radio Chorus, Hamburg Radio Orchestra, Hildburg Früchtnicht and Joachim Trautmann