Submit answers by Günther. Thanks! Minor normalization stuff.