omfattar försäkringen statens eller kommunernas tjentemän och betjente.