Prior-Posterior - Gaussian data with known variance