"Königliches Hoftheater", "Nationaltheater München"