Orchester der Staatsoper Berlin, Karl Muck, Ludwig Hofmann