På Kasinoteatern gais holbergskmusik