Chor der Deutschen Oper Berlin, Orchester der Deutschen Oper Berlin, Otto Gerdes