( då amnestien utfärdades)