namn Halvor , hvilken gjorde konungen många tjenster , bland andraderi