Proof Theory Of Modal Logic by H. Wansing