France declares war on Austria-Hungary.