human embetsman och utmärkt domare.