Which one is based on Hernani, Der Schauspieldirektor or Ernani?