gifvits en norsk originalpjes » Dovregubben » , ett Dmixtum , compositum af folkkomedi , ballett , pantomim , feeri , tomtgubberi , häxeri och fyrverkeri ».