tjenstemannapersonalen , mindre den personal , om hänsöres till waktbctjeningen.