Frost , f. d. amtman i Aarhus , ien