birkedommeren i Holsteinborgs birk Har.