— typen för en redbar , arbetsam och rutinerad embetsman.