Ett glädjande tecken deremot är att embetsmannalistan,