Posterior Mean After Four Noisy Signals

A latent mean $\theta$ has prior $N(10,25)$. Observations arrive one by one with known noise variance $\sigma^2=4$ and realized values [12, 11, 8, 9]. After processing the full stream sequentially, what are the final posterior mean and variance?