spanischer erbfolgkrieg