satirikern och dramaturgen Ludvig Holberg.