Thomas Thomaschke, Wolf-Dieter Hauschild, Berlin Radio Symphony Orchestra, Helmut Koch