tjenstemännen hos generalpoststyrelsen B.