Orchester der Deutschen Oper Berlin,Otto Gerdes