@Philochillo: Thanks! The map is actually 12.5MB so I have to use ~80% of it for each comp (cutting tris and map image at the unused borders. And the stairs are nice but I had to do them manually. It took some time. Will test some ideas for them with the converter soon!
@Leudimin: I live in Asturias, does that fall into "empty Spain"? ;) I look forward to Teruel! If you don't find the time I could take a look. I will be converting Vejer at some point (I traced it recently)
Thanks for this series in this often forgotten city right in the middle of the so-called "emptied Spain". I may do a follow-up in another such place, Teruel, as I have that map.