d. statsministern Sigurd Ibsen har låtit resa en stor grafsten på fadern Henrik Ibsens graf.