samt en högtidlig benådningsdag åt en del politiskafångar