Z-test for the difference of means of two independent Normal variables with known population variances.
Useful links