konungen skall i dopet erhålla namnet Alfonso.