Don Carlos är utspelad.