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