tjenstemännen i Allmänna brandförsäkringsverketför