leiler mindre hus i Embetsmannaqvarteret eller traktenderomkring