So Weidmann was executed at 4:30 in the morning, by which time on a June morning, there was enough light to take photographs, and a spectator in the crowd filmed the event, unbeknownst to the authorities.