"On the Proof Theory of the Modal Logic Grz"