Och i så fall är Ibsens Nils Stei asonen