Estimation of distribution function of typical grain functional in stationary germ-grain process. Proof of weak and strong convergence of Horvitz-Thompson estimator.