Retten til Holberg. Striden om tilladelse til at opføre Jeppe på Bjerget på Casino