What did the war in 1714 mandate as the proper language in documentation?