— Henrik Wergelands begrafning har dcn 17 dennes?