som nu bär namnet Alfons den 13:de.