treaty of westphalia richelieu