sex tjenstemän i k. statskontoret.