Ny prislapp på Ibsenbiblioteket: Halv milliard kroner