spanischer erbfolgekrieg