dennes hade lion kommit till Sevilla.