Arquivo de Henrik Ibsen, Espectros, teatro, dramaturgo, Noruega - Opera Mundi