benådat hertigen af Sevilla.