den gamla tingsplatsen i Eidsvold ,af