Vid half 4-tiden afgick » Kong Eystein » —enligt