de i civildepartementet nu anställda 14 extra ordinarietjenstemännen