Statsräeet H E. Petersen ; Assessorn i Norges Hög.