Stora teatern gaf i går » Mignon »,