Kong Halfdan har i dessa Lagarföretagit