Ermordung von Al-Awlaki war offiziell genehmigt