In diesem Fall müssten in der Tat die staatlichen Sicherheitskräfte eingesetzt werden – und die Guardia Civil müsste das Gesundheitsministerium stürmen, um die Dokumente zu beschlagnahmen.