Erste Hinrichtung seit 17 Jahren auf US-Bundesebene vollzogen