Randomized allocation procedure for testing a normal mean with known variance