framstående embetsman och hans bortgång är alltså en förlust för embetsmannaverlden.