höiesteretsassessorn Hansteen och borgmästare Jensen.