örn försäljning af öfverflödig mark vid Bergenhus till Bergenhuskommun