What to do if you lose your TIE or other Spanish residency document

What steps should you follow in the unfortunate event that your Spanish residency document is lost or stolen? Here’s what you should do to get a duplicate.

Source: What to do if you lose your TIE or other Spanish residency document