slags omarbetning af den Holbergskakomedien