Talk:Bismarck/@comment-27199083-20160223155538

Second try with Z3!