teatern för firande af Holbergs 200årsdag.