ökats dubbelt och likaså statstjenarnes antal.