tjenstemans dödsbo , säljes för 40,000 kr.