old municipality of castilla la vieja