tjenstemannen m . fl.