Inference in normal models with commutative orthogonal block structure