ur tiden en i hög grad verksam person ; och särskildt för de banor , hvars chef han var , har han gjort mycket.