Ernst Thomas , aktuarie , i generalpoststyrelsen.